Groklaw: Why Software is Abstract, by PolR http://www.groklaw.net/article.php?story=Why Software is Abstract, by PolR Thursday, October @ 03:40 AM EDT

Source URL: ladoc.ffii.fr

• Law
• Theoretical computer science
• Computing
• Academia
• Patent law
• Formal sciences
• Algorithm
• Mathematical logic
• Patentable subject matter
• Software patent
• Abstraction
• Software

Book CHI IPEindb

Source URL: web.stanford.edu

• Information
• Statistics
• Formal sciences
• Knowledge
• Business intelligence
• Statistical models
• Data
• Big data
• Data mining
• Data analysis
• Analytics
• Cross-validation

GEOPHYSICAL RESEARCH LETTERS, VOL. 31, L09205, doi:2004GL019608, 2004 The effect of growing season and summer greenness on northern forests R. K. Kaufmann,1,2 R. D. D’Arrigo,3 C. Laskowski,4 R. B. Myneni,1 L.

Source URL: sites.bu.edu

• Formal sciences
• Knowledge
• Academia
• Remote sensing
• Biology
• Biogeography
• Normalized Difference Vegetation Index
• Enhanced vegetation index
• Ecology
• Dendrology
• Dendrochronology
• Statistical hypothesis testing

Partners Austria Finland France Germany

Source URL: www.vismaster.eu

• Computer graphics
• Computational science
• Infographics
• Visualization
• Formal sciences
• Visual analytics
• Analytics
• VRVis
• Data mining
• Information visualization
• Learning analytics
• Prescriptive analytics

Towards Practical Reflection for Formal Mathematics Martin Giese1 and Bruno Buchberger2 1 RICAM, Austrian Academy of Sciences,

Source URL: heim.ifi.uio.no

Call for Papers ACM Transactions on Intelligent Systems and Technology (ACM TIST) Special Issue of on SEARCH AND MINING USER GENERATED CONTENTS

Source URL: tist.acm.org

• Data mining
• Computing
• Information
• Data analysis
• Digital media
• Formal sciences
• Web mining
• World Wide Web
• Text mining
• Recommender system
• Social media
• Social media mining

From Snapshots to Processes Description – Spatiotemporal Modelling using RDF Datasets and Formal Ontologies Jaromar Łukowicz Wrocław University of Environmental and Life Sciences Wrocław, Poland

Source URL: www.agile-online.org

Foundations of the Formal Sciences VI, AmsterdamSurprise and Evidence in Statistical Model Checking

Source URL: www.laeuferpaar.de

Securing and Enabling Data Driven Oil Fields:A Look at the Key Drivers and Critical Success Factorsof Operationalizing Digital Oil Fields,Securing and Enabling Data Driven Oil Fields: A Look at the Key Drivers and Cr

Source URL: mena.boozallen.com

• Economy
• Computing
• Data
• Business intelligence
• Formal sciences
• Big data
• Data management
• Technology forecasting
• Transaction processing
• Analytics
• Giant oil and gas fields

OpenNWA: A Nested-Word Automaton Library⋆ Evan Driscoll1 , Aditya Thakur1 , and Thomas Reps1,2 1 Computer Sciences Department, University of Wisconsin – Madison {driscoll,adi,reps}@cs.wisc.edu

Source URL: research.cs.wisc.edu

• Formal languages
• Finite automata
• Nested word
• Words
• Finite-state machine